projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e42345) | patch
xen/arm: support irq delivery to vcpu > 0
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Wed, 13 Aug 2014 16:29:38 +0000 (17:29 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Wed, 3 Sep 2014 14:23:25 +0000 (15:23 +0100)
commit489abfd46a568b4fca578f80ba66e3b4de6f2298
treea02e58a09e526d728ed6449bc4df3e76d784345etree | snapshot
parent6e42345c5c0618e3006b15ee921513675732d96dcommit | diff
xen/arm: support irq delivery to vcpu > 0

Use vgic_get_target_vcpu to retrieve the target vcpu from do_IRQ.
Remove in-code comments about missing implementation of SGI delivery to
vcpus other than 0.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/gic.c diff | blob | history
xen/arch/arm/irq.c diff | blob | history
xen/arch/arm/vgic.c diff | blob | history
xen/include/asm-arm/vgic.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.